Với mọi số thực   x < 0 {\displaystyle \ x<0} và mọi số thực   y {\displaystyle \ y} thì tồn tại một số tự nhiên   n {\displaystyle \ n} sao cho   n x < y {\displaystyle \ nx<y} .

Cách chứng minh gần như tương tự, chỉ cần thay   x {\displaystyle \ x} bởi   − x {\displaystyle \ -x}